bicondicional

adjetivo LÓGICA Operador de la lógica proposicional que significa «si y solo si...».

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Bicondicional — En matemáticas y lógica, un bicondicional, también llamado equivalencia o implicación doble, es una proposición de la forma P si y solo si Q , en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Tabla de verdad — Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Tabla de valores de verdad — Saltar a navegación, búsqueda Una tabla de valores de verdad, o tabla de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue …   Wikipedia Español

  • Conectiva lógica — En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes. En programación se… …   Wikipedia Español

  • Afirmación del consecuente — En lógica, la afirmación del consecuente, también llamado error inverso, es una falacia formal que se comete al razonar según la siguiente forma argumental: Si A, entonces B B Por lo tanto, A Los argumentos de esta forma son inválidos, porque la… …   Wikipedia Español

  • Wikipedia:Fusionar — Categoría:Wikipedia:Fusionar Saltar a navegación, búsqueda Atajos CAT:APFCAT:APF Atajos Para colocar un artículo en esta categoría, utilice las plantillas {{fusionar}}, {{fusionar en}} y {{fusionar desde}}. Estos artículos han sido marcados para… …   Wikipedia Español

  • Grafo plano — Grafos de ejemplo Plano No plano …   Wikipedia Español

  • IFF — Los términos IFF, Iff o iff son siglas de: Insomnio Familiar Fatal, un trastorno genético que deriva en la muerte de las personas por insomnio. Identification Friend or Foe, un sistema de identificación electrónico mediante radio. In Flanders… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.